-
1 partial semantics
Большой англо-русский и русско-английский словарь > partial semantics
-
2 partial semantics
English-Russian dictionary of computer science and programming > partial semantics
-
3 semantics
- behavioral semantics
- composable semantics
- denotational semantics
- formal semantics
- inheritance semantics
- operational semantics
- partial semantics
- preference semantics
- situational semantics
- structural semantics
- transformational semanticsEnglish-Russian dictionary of computer science and programming > semantics
-
4 парциальная семантика
Большой англо-русский и русско-английский словарь > парциальная семантика
-
5 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
6 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
См. также в других словарях:
Partial evaluation — In computing, partial evaluation is a technique for program optimization by specialization.A computer program, prog , is seen as a mapping of input data into output data::prog : I {static} imes I {dynamic} o OI {static}, the static data , is the… … Wikipedia
semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… … Universalium
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Complete partial order — In mathematics, directed complete partial orders and ω complete partial orders (abbreviated to dcpo, ωcpo or sometimes just cpo) are special classes of partially ordered sets, characterized by particular completeness properties. Complete partial… … Wikipedia
Algorithms for Recovery and Isolation Exploiting Semantics — In computer science, Algorithms for Recovery and Isolation Exploiting Semantics, or ARIES is a recovery algorithm designed to work with a no force, steal database approach; it is used by IBM DB2, Microsoft SQL Server and many other database… … Wikipedia
Evaluation strategy — Evaluation strategies Strict evaluation Applicative order Call by value Call by reference Call by sharing Call by copy restore Non strict evaluation Normal order Call by name Call by need/Lazy evaluation … Wikipedia
Completeness (order theory) — In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset). A special use of the term refers to complete partial orders or complete lattices.… … Wikipedia
Domain theory — is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science,… … Wikipedia
linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… … Universalium
